-
1 structural inference
Большой англо-русский и русско-английский словарь > structural inference
-
2 structural inference
Математика: структурный вывод -
3 structural inference
мат.English-Russian scientific dictionary > structural inference
-
4 structural inference
Англо-русский словарь по исследованиям и ноу-хау > structural inference
-
5 inference
(логический) вывод; суждение; умозаключение -
6 структурный вывод
Большой англо-русский и русско-английский словарь > структурный вывод
-
7 method
1) метод; приём; способ2) методика3) технология4) система•- accelerated strength testing method-
benching method-
bullhead well control method-
electrical-surveying method-
electromagnetic surveying method-
long-wire transmitter method-
operational method-
rule of thumb method-
straight flange method of rolling beams-
symbolical method-
tee-test method-
testing method-
triangulation method-
value-iteration method -
8 programming
1) вчт программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear programming
- linear integer programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular programming
- modular parallel programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programming -
9 programming
1) вчт. программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear integer programming
- linear programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular parallel programming
- modular programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- parallel programming
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programmingThe New English-Russian Dictionary of Radio-electronics > programming
-
10 problem
1) задача; проблема3) трудность, затруднение•- boundary value problem - card matching problem - central limit problem - decision problem under risk - decision problem under uncertainty - extremum problem - fair division problem - gambling problem - gasoline blending problem - incompletely structured problem - optimal path problem - optimal stopping problem - portfolio selection problem - precisely specified problem - recursively solvable problem - sequential decision programming problem - sequential occupancy problem - shortest path problem - shortest route problem - standard control problem - three houses and three wells problem
См. также в других словарях:
Structural equation modeling — (SEM) is a statistical technique for testing and estimating causal relations using a combination of statistical data and qualitative causal assumptions. This definition of SEM was articulated by the geneticist Sewall Wright (1921),[1] the… … Wikipedia
Structural proof theory — In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof. Contents 1 Analytic proof 2 Structures and connectives 3 Cut elimination in the sequent… … Wikipedia
Inference engine — In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the brain that expert systems use to… … Wikipedia
Structural rule — In proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgements or sequents directly. Structural rules often mimic intended meta theoretic properties of the logic.… … Wikipedia
Statistical inference — In statistics, statistical inference is the process of drawing conclusions from data that are subject to random variation, for example, observational errors or sampling variation.[1] More substantially, the terms statistical inference,… … Wikipedia
Deep inference — names a general idea in structural proof theory that breaks with the classical sequent calculus by generalising the notion of structure to permit inference to occur in contexts of high structural complexity. The term deep inference is generally… … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia